top_command (cmd_load currentFile ["-i.", "-i.."])
goal_command 2 (cmd_goal_type Normalised) ""
